1. ......................
Author: ISILC Proof Theory Symposium, University of Kiel
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Proof theory,Bibliography ، Schutte, Kurt
Classification :
QA
3
.
L28
no
.
500
2. Advances in Proof Theory
Author: \ Reinhard Kahle, Thomas Strahm, Thomas Studer Editors
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Proof theory -- Congresses.
Classification :
E-Book
,
3. Advances in proof theory
Author: Reinhard Kahle, Thomas Strahm, Thomas Studer, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Proof theory
Classification :
QA
9
.
54
.
A39
4. Computation and proof theory : Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 part II
Author: edited by M. M. Richter ... ]et al.[
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Computational complexity,Congresses ، Proof theory
Classification :
QA
9
.
59
.
C65
1983
5. Computation and proof theory; proceedings of the logic colloquium held in Aachen, July 18-23, 1983
Author: edite by M. M. Richter, ... ]et al.[
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Proof theory
Classification :
QA
1
.
L4
v
.
1104
6. ISILC Proof Theory Symposion: dedicated to Kurt Schutte on the occasion of his 65th birthday: proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Bibliography ، Schutte, K.)Kurt(,Congresses ، Proof theory
Classification :
QA
3
.
L28
no
.
500
7. ISILC Proof Theory Symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
Author: edited by J. Diller and G. H. Muller
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Proof theory,، Schutte, Kurt - Bibliography
Classification :
QA
1
.
L4
v
.
500
8. ISILC Proof Theory Symposion : dedicated to Kurt Schیtte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
Author: edited by J. Diller and G. H. Mیller
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Proof theory,Bibliography ، Schutte, K. )Kurt(
Classification :
QA
9
.
54
.
I8
1974
9. ISILC Proof Theory Symposium : dealicated to Kurt Schutte on the Occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Author: edited by J. Diller and G. H. Muller
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Proof theory,Bibliography ، Schutte, Kurt
Classification :
QA
3
.
L28
Vol
.
500
10. ISILC Proof theory symposium; Dedicated to Kurt Schutte on the occasion of his 65th birthday; Proceedings of the international summer institute and logic colloquium, Kiel, 1974
Author: / edited by J. Diller and G. H. Muller
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Proof theory - Congresses,Schutte Kurt - Bibliography
Classification :
510
L471
No
.
500
11. Probability And Inference In The Law Of Evidence: The Uses And Limits Of Bayesianism
Author:
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Evidence (Law)- Congresses,Burden Of Proof- Congresses,Inference (Logic)- Congresses,Bayesian Statistical Decision Theory- Congresses
Classification :
Q
،
174
،.
B67
،
1988
